Grammar Theory Based on Quantum Logic
نویسندگان
چکیده
Motivated by Ying’ work on automata theory based on quantum logic (Ying, M. S. (2000). International Journal of Therotical Physics, 39(4): 985–996; 39(11): 2545– 2557) and inspired by the close relationship between the automata theory and the theory of formal grammars, we have established a basic framework of grammar theory on quantum logic and shown that the set of l-valued quantum regular languages generated by l-valued quantum regular grammars coincides with the set of l-valued quantum languages recognized by l-valued quantum automata.
منابع مشابه
Efficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملEfficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملA Theory of Computation Based on Quantum Logic
The (meta)logic underlying classical theory of computation is Boolean (twovalued) logic. Quantum logic was proposed by Birkhoff and von Neumann as a logic of quantum mechanics about 70 years ago. It is currently understood as a logic whose truth values are taken from an orthomodular lattice. The major difference between Boolean logic and quantum logic is that the latter does not enjoy distribut...
متن کاملDesigning a Quantum Leadership Model in Secondary Schools Based on Data Theory
This study seeks to design a new and innovative model for school management using the data foundation method, a model that can be an effective aid in solving the problems and challenges facing school principals by using quantum leadership. Designing a quantum leadership model in secondary schools based on data theory is the main goal of this research and seeks to achieve a suitable model for ov...
متن کاملThe Effects of Gradual and Indirect Feedback on EFL Learners' Grammar Development and Beliefs
Corrective feedback has received significant attention in English language teaching, and its role has been highly substantial. Considering the importance of corrective feedback in EFL classes, this study aimed at finding the effects of indirect and gradual CF on Iranian EFL learners' grammatical development and their beliefs toward CF. Twenty EFL learners, meeting the c...
متن کامل